{ config, pkgs, ... }:

{
  dconf.settings = {
    # ...
    "org/gnome/shell" = {
      disable-user-extensions = false;
      # `gnome-extensions list` for a list
      enabled-extensions = [
        "user-theme@gnome-shell-extensions.gcampax.github.com"
        "Vitals@CoreCoding.com"
        "space-bar@luchrioh"
        "dash-to-dock@micxgx.gmail.com"
        "espresso@coadmunkee.github.com"
        "appindicatorsupport@rgcjonas.gmail.com"
        "places-menu@gnome-shell-extensions.gcampax.github.com"
        "drive-menu@gnome-shell-extensions.gcampax.github.com"
        "clipboard-history@alexsaveau.dev"
        "custom-hot-corners-extended@G-dH.github.com"
        "quick-settings-tweaks@qwreey"
        "just-perfection-desktop@just-perfection"
        # "SettingsCenter@lauinger-clan.de"
        # "dict@sun.wxg@gmail.com"
        # "forge@jmmaranan.com"
      ];
    };
    "org/gnome/settings-daemon/plugins/media-keys" = {
      custom-keybindings = [
        "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/"
      ];
    };
    "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = {
      binding = "<Super>Return";
      command = ''rofi -x11 -normal-window -combi-modi window,drun,ssh -theme solarized -show combi -run-shell-command '{terminal} -e zsh -ic "{cmd} && read"'
      '';
      name = "launcher";
    };
  };
}